$\forall$$A$:Type, $f$:$a$:$A$ fp$\rightarrow$ Top. fpf{-}domain($f$) $\in$ $A$ List